Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 16, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66 }

B grade: { 7, 19, 33, 44 }

C grade: { 9, 15, 21 }

F grade: { }

2.1.3 Maple

A grade: { 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 29, 30, 34, 35, 40, 41, 45, 46, 50, 51, 55, 56, 60, 61, 65, 66 }

B grade: { }

C grade: { }

F grade: { 1, 7, 13, 19, 25, 26, 27, 28, 31, 32, 33, 36, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 54, 57, 58, 59, 62, 63, 64 }

2.1.4 Maxima

A grade: { 2, 3, 4, 5, 6, 8, 10, 11, 29, 34, 35, 50, 55, 56

B grade: { 7, 9, 13, 15, 19, 21, 25, 26, 27, 31, 32, 33, 36, 37, 38, 39, 42, 43, 44, 47, 48, 52, 53, 57, 58, 59, 62, 63, 64 }

C grade: { }

F grade: { 1, 12, 14, 16, 17, 18, 20, 22, 23, 24, 28, 30, 40, 41, 45, 46, 49, 51, 54, 60, 61, 65, 66 }

2.1.5 FriCAS

A grade: { 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 29, 30, 34, 35, 40, 41, 45, 46, 50, 51, 55, 56, 60, 61, 65, 66 }

B grade: { 1, 13, 19, 28, 33, 39, 44 }

C grade: { 49, 54, 59, 64 }

F grade: { 25, 26, 27, 31, 32, 36, 37, 38, 42, 43, 47, 48, 52, 53, 57, 58, 62, 63 }

2.1.6 Sympy

A grade: { 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 22, 23, 24, 29, 30, 34, 35, 40, 41, 50, 51, 55, 56, 60, 61, 65 }

B grade: { }

C grade: { }

F grade: { 1, 7, 13, 19, 21, 25, 26, 27, 28, 31, 32, 33, 36, 37, 38, 39, 42, 43, 44, 45, 46, 47, 48, 49, 52, 53, 54, 57, 58, 59, 62, 63, 64, 66 }

2.1.7 Giac

A grade: { 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 29, 30, 34, 35, 40, 41, 45, 46, 50, 51, 55, 56, 60, 61, 65, 66 }

B grade: { }

C grade: { }

F grade: { 1, 7, 13, 19, 25, 26, 27, 28, 31, 32, 33, 36, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 54, 57, 58, 59, 62, 63, 64 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 73 0 0 387 0 0
normalized size 1 1. 1. 0. 0. 5.3 0. 0.
time (sec) N/A 0.142 0.042 0.09 0. 1.634 0. 0.


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 1.854 0.076 0. 0. 0. 0.


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 30 30 72 36 38
normalized size 1 1. 1. 1.15 1.15 2.77 1.38 1.46
time (sec) N/A 0.026 0.018 0.004 1.046 1.618 0.292 1.185


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.005 0.705 0.069 0. 0. 0. 0.


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.019 1.254 0.071 0. 0. 0. 0.


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.019 1.455 0.089 0. 0. 0. 0.


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F B A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 126 126 295 0 539 470 0 0
normalized size 1 1. 2.34 0. 4.28 3.73 0. 0.
time (sec) N/A 0.239 6.513 0.245 1.443 1.682 0. 0.


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.023 2.393 0.16 0. 0. 0. 0.


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 75 72 201 113 65 72
normalized size 1 1. 1.47 1.41 3.94 2.22 1.27 1.41
time (sec) N/A 0.047 0.175 0.005 1.031 1.624 0.436 1.224


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.005 1.952 0.156 0. 0. 0. 0.


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.022 7.566 0.19 0. 0. 0. 0.


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.022 3.435 0.214 0. 0. 0. 0.


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 110 0 360 1257 0 0
normalized size 1 1. 0.9 0. 2.95 10.3 0. 0.
time (sec) N/A 0.207 1.518 0.216 1.429 1.926 0. 0.


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 2.78 0.191 0. 0. 0. 0.


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 82 82 193 158 360 116
normalized size 1 1. 1.44 1.44 3.39 2.77 6.32 2.04
time (sec) N/A 0.078 0.135 0.028 1.215 1.61 3.034 1.184


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.005 1.026 0.137 0. 0. 0. 0.


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.736 0.176 0. 0. 0. 0.


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.024 2.089 0.189 0. 0. 0. 0.


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 202 202 460 0 1362 1798 0 0
normalized size 1 1. 2.28 0. 6.74 8.9 0. 0.
time (sec) N/A 0.314 6.593 0.543 1.808 1.96 0. 0.


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 6.151 0.332 0. 0. 0. 0.


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A B A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 114 140 751 362 0 215
normalized size 1 1. 1.21 1.49 7.99 3.85 0. 2.29
time (sec) N/A 0.129 1.102 0.036 2.215 1.581 0. 1.54


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.005 5.08 0.411 0. 0. 0. 0.


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.024 8.083 0.515 0. 0. 0. 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 6.503 0.557 0. 0. 0. 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 261 261 261 0 1265 0 0 0
normalized size 1 1. 1. 0. 4.85 0. 0. 0.
time (sec) N/A 0.372 0.081 0.157 2.096 0. 0. 0.


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 195 0 834 0 0 0
normalized size 1 1. 1. 0. 4.28 0. 0. 0.
time (sec) N/A 0.275 0.043 0.146 2.007 0. 0. 0.


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 135 0 485 0 0 0
normalized size 1 1. 1. 0. 3.59 0. 0. 0.
time (sec) N/A 0.204 0.035 0.143 1.824 0. 0. 0.


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 66 0 0 439 0 0
normalized size 1 1. 1. 0. 0. 6.65 0. 0.
time (sec) N/A 0.103 0.023 0.166 0. 1.705 0. 0.


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.019 2.438 0.14 0. 0. 0. 0.


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.019 10.604 0.158 0. 0. 0. 0.


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 402 402 379 0 3244 0 0 0
normalized size 1 1. 0.94 0. 8.07 0. 0. 0.
time (sec) N/A 0.61 3.55 0.28 2.651 0. 0. 0.


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 274 274 365 0 1733 0 0 0
normalized size 1 1. 1.33 0. 6.32 0. 0. 0.
time (sec) N/A 0.469 1.989 0.254 2.162 0. 0. 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 119 119 308 0 676 527 0 0
normalized size 1 1. 2.59 0. 5.68 4.43 0. 0.
time (sec) N/A 0.177 6.28 0.215 2.307 1.767 0. 0.


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.022 21.544 0.247 0. 0. 0. 0.


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.023 7.907 0.276 0. 0. 0. 0.


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 460 460 401 0 1524 0 0 0
normalized size 1 1. 0.87 0. 3.31 0. 0. 0.
time (sec) N/A 0.574 1.679 0.178 4.67 0. 0. 0.


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 344 344 308 0 1094 0 0 0
normalized size 1 1. 0.9 0. 3.18 0. 0. 0.
time (sec) N/A 0.453 1.13 0.166 3.479 0. 0. 0.


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 213 0 747 0 0 0
normalized size 1 1. 0.91 0. 3.19 0. 0. 0.
time (sec) N/A 0.337 0.948 0.162 2.628 0. 0. 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 111 0 356 1362 0 0
normalized size 1 1. 0.93 0. 2.99 11.45 0. 0.
time (sec) N/A 0.175 0.182 0.154 2.1 1.577 0. 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 10.385 0.158 0. 0. 0. 0.


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 10.933 0.158 0. 0. 0. 0.


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1147 1147 816 0 5889 0 0 0
normalized size 1 1. 0.71 0. 5.13 0. 0. 0.
time (sec) N/A 2.249 5.278 0.284 8.085 0. 0. 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 787 787 633 0 3357 0 0 0
normalized size 1 1. 0.8 0. 4.27 0. 0. 0.
time (sec) N/A 1.711 3.723 0.28 4.808 0. 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 204 204 517 0 1355 2016 0 0
normalized size 1 1. 2.53 0. 6.64 9.88 0. 0.
time (sec) N/A 0.255 6.518 0.263 2.873 1.683 0. 0.


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 41.222 0.27 0. 0. 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 18.255 0.268 0. 0. 0. 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 287 287 287 0 1511 0 0 0
normalized size 1 1. 1. 0. 5.26 0. 0. 0.
time (sec) N/A 0.402 0.127 0.155 2.378 0. 0. 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 203 0 834 0 0 0
normalized size 1 1. 1. 0. 4.11 0. 0. 0.
time (sec) N/A 0.271 0.041 0.077 2.064 0. 0. 0.


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 98 0 0 738 0 0
normalized size 1 1. 1. 0. 0. 7.53 0. 0.
time (sec) N/A 0.164 0.027 0.141 0. 1.42 0. 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 2.435 0.061 0. 0. 0. 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 4.552 0.176 0. 0. 0. 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 597 597 599 0 6309 0 0 0
normalized size 1 1. 1. 0. 10.57 0. 0. 0.
time (sec) N/A 0.833 4.652 0.236 5.471 0. 0. 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 408 408 383 0 3244 0 0 0
normalized size 1 1. 0.94 0. 7.95 0. 0. 0.
time (sec) N/A 0.575 3.179 0.118 3.007 0. 0. 0.


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 206 206 185 0 0 903 0 0
normalized size 1 1. 0.9 0. 0. 4.38 0. 0.
time (sec) N/A 0.355 1.919 0.245 0. 1.545 0. 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.022 16.845 0.099 0. 0. 0. 0.


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.023 8.021 0.309 0. 0. 0. 0.


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 511 511 451 0 1769 0 0 0
normalized size 1 1. 0.88 0. 3.46 0. 0. 0.
time (sec) N/A 0.593 1.806 0.173 5.841 0. 0. 0.


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 352 352 310 0 1094 0 0 0
normalized size 1 1. 0.88 0. 3.11 0. 0. 0.
time (sec) N/A 0.414 1.072 0.059 3.982 0. 0. 0.


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 165 0 599 1901 0 0
normalized size 1 1. 0.94 0. 3.4 10.8 0. 0.
time (sec) N/A 0.277 0.755 0.206 2.508 1.801 0. 0.


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 10.417 0.063 0. 0. 0. 0.


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 7.458 0.166 0. 0. 0. 0.


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1691 1691 1136 0 11051 0 0 0
normalized size 1 1. 0.67 0. 6.54 0. 0. 0.
time (sec) N/A 2.889 4.989 0.293 18.388 0. 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1155 1155 820 0 5889 0 0 0
normalized size 1 1. 0.71 0. 5.1 0. 0. 0.
time (sec) N/A 2.083 5.2 0.097 8.619 0. 0. 0.


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 610 610 538 0 2363 2923 0 0
normalized size 1 1. 0.88 0. 3.87 4.79 0. 0.
time (sec) N/A 1.403 3.268 0.278 3.824 1.751 0. 0.


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.024 35.19 0.166 0. 0. 0. 0.


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 28.065 0.275 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [54] had the largest ratio of [ 0.6875 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 7 6 1. 16 0.375







2 A 0 0 0. 0 0.







3 A 4 3 1. 14 0.214







4 A 0 0 0. 0 0.







5 A 0 0 0. 0 0.







6 A 0 0 0. 0 0.







7 A 10 9 1. 18 0.5







8 A 0 0 0. 0 0.







9 A 3 3 1. 16 0.188







10 A 0 0 0. 0 0.







11 A 0 0 0. 0 0.







12 A 0 0 0. 0 0.







13 A 5 5 1. 18 0.278







14 A 0 0 0. 0 0.







15 A 3 3 1. 16 0.188







16 A 0 0 0. 0 0.







17 A 0 0 0. 0 0.







18 A 0 0 0. 0 0.







19 A 6 6 1. 18 0.333







20 A 0 0 0. 0 0.







21 A 4 4 1. 16 0.25







22 A 0 0 0. 0 0.







23 A 0 0 0. 0 0.







24 A 0 0 0. 0 0.







25 A 13 8 1. 18 0.444







26 A 11 8 1. 18 0.444







27 A 9 8 1. 16 0.5







28 A 6 5 1. 14 0.357







29 A 0 0 0. 0 0.







30 A 0 0 0. 0 0.







31 A 20 10 1. 20 0.5







32 A 16 10 1. 18 0.556







33 A 10 9 1. 16 0.562







34 A 0 0 0. 0 0.







35 A 0 0 0. 0 0.







36 A 11 7 1. 20 0.35







37 A 9 7 1. 20 0.35







38 A 7 7 1. 18 0.389







39 A 5 5 1. 16 0.312







40 A 0 0 0. 0 0.







41 A 0 0 0. 0 0.







42 A 28 10 1. 20 0.5







43 A 22 10 1. 18 0.556







44 A 6 6 1. 16 0.375







45 A 0 0 0. 0 0.







46 A 0 0 0. 0 0.







47 A 14 8 1. 18 0.444







48 A 11 8 1. 16 0.5







49 A 7 6 1. 14 0.429







50 A 0 0 0. 0 0.







51 A 0 0 0. 0 0.







52 A 26 10 1. 20 0.5







53 A 20 10 1. 18 0.556







54 A 14 11 1. 16 0.688







55 A 0 0 0. 0 0.







56 A 0 0 0. 0 0.







57 A 12 7 1. 20 0.35







58 A 9 7 1. 18 0.389







59 A 6 6 1. 16 0.375







60 A 0 0 0. 0 0.







61 A 0 0 0. 0 0.







62 A 37 10 1. 20 0.5







63 A 28 10 1. 18 0.556







64 A 19 11 1. 16 0.688







65 A 0 0 0. 0 0.







66 A 0 0 0. 0 0.